Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior
نویسندگان
چکیده
منابع مشابه
Mutation-Based Test Case Generation for Simulink Models
The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means o...
متن کاملTest Case Generation and Prioritization Based on Uml Behavioral Models
Test case prioritization (TCP) techniques have been proven to be beneficial for improving testing activities. Prioritized test suites are found using different techniques of prioritization. While code coverage based prioritization techniques are found to be used by most scholars, test case prioritization based on UML behavioral models has not been given much attention so far. We propose a novel...
متن کاملDIVERSITY – TG Automatic Test Case Generation from Matlab / Simulink models
Reliability of dynamic systems is a major issue in industry (aeronautics, railway, automotive, nuclear...). Therefore, most development processes require the use of model-based approaches such as UML, Matlab/Simulink, Statemate, etc. However, resulting models must be checked and corresponding implementations must be tested with respect to these models. In this paper, we present DIVERSITY, the V...
متن کاملAutomated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including preand postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be ...
متن کاملSoftware Verification and Validation Laboratory: Automated Test Suite Generation for Time-Continuous Simulink Models
All engineering disciplines are founded and rely on models, although they may differ on purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical Systems (CPSs) seek approaches that incorporate different modeling needs and usages. Specifically, the Simulink modeling platform greatly appeals to CPS engineers due to its seamless support for simulation and code generation. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2019
ISSN: 0098-5589,1939-3520,2326-3881
DOI: 10.1109/tse.2018.2811489